#include<stdio.h>
int main()
{
	int a, b, c;
	scanf("%d:%d:%d", &a, &b, &c);
	
	printf("02%d,02%d,02%d", a, b, c); 
	
	
	return 0;

}